Spectral theory of ordinary differential equations

Results: 1070



#Item
91Leech lattice / Moonshine theory / Lattice / Spectral theory of ordinary differential equations / Lambda calculus

MATH 669: COMBINATORICS, GEOMETRY AND COMPLEXITY OF INTEGER POINTS Alexander Barvinok Abstract. These are rather condensed notes, not really proofread or edited, presenting key definitions and results of the course that

Add to Reading List

Source URL: www.math.lsa.umich.edu

Language: English - Date: 2011-05-27 13:17:33
92Mathematics / Mathematical analysis / Operator theory / Computability theory / Arithmetic function / Primitive recursive function / Ergodic theory / Hilbert space / Theoretical physics / Spectral theory of ordinary differential equations / Differential forms on a Riemann surface

G¨odel functional interpretation and weak compactness Ulrich Kohlenbach1 Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany -darmstadt.d

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2011-08-31 12:29:01
93Mathematics / Mathematical analysis / Mathematical logic / Functions and mappings / Computability theory / Primitive recursive function / Recursion / Theory of computation / First-order logic / Limit of a function / Peano axioms / Spectral theory of ordinary differential equations

Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2008-09-01 05:59:33
94Computability theory / Mathematics / Mathematical logic / Mathematical analysis / Primitive recursive functional / Symbol / Continuous function / Primitive recursive function / operator / Spectral theory of ordinary differential equations

Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2012-11-16 09:33:39
95Computability theory / Primitive recursive functional / Proof theory / Continuous function / Spectral theory of ordinary differential equations / It diffusion

Pointwise hereditary majorization and some applications Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, 6000 Frankfurt am Main, FRG Abstract A pointwise version of the H

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2012-11-16 10:11:23
96Mathematics / Combinatorics / Difference set / Geometry / Algebra / Quadric / Operator theory / Ordinary differential equations / Spectral theory / Spectral theory of ordinary differential equations / Field trace

Constructions of Relative Difference Sets with Classical Parameters and Circulant Weighing Matrices Ka Hin Leung Department of Mathematics National University of Singapore 2 Science Drive 2, Singapore

Add to Reading List

Source URL: www.ntu.edu.sg

Language: English - Date: 2004-09-07 07:59:48
97Metric geometry / Space / Mathematics / Topology / Structure / Topological spaces / Metric / Complete metric space / operator / Spectral theory of ordinary differential equations

Some logical metatheorems with applications in functional analysis Ulrich Kohlenbach∗ BRICS† Department of Computer Science University of Aarhus

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2012-08-23 09:28:17
98Operator theory / Hilbert space / Linear algebra / Spectral theory / Ordinary differential equations

Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces Muhammad Aqeel Ahmad Khan1,2 , Ulrich Kohlenbach2,∗ Department of Mathematics, The Islamia University of Bahawalpur, Bahawalpur, 63100, Pak

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2012-12-11 10:49:24
99Logic / Mathematics / Mathematical analysis / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Computability theory / operator / Spectral theory of ordinary differential equations

Analyzing proofs in analysis∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, D–60054 Frankfurt am Main, Germany 1

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2012-11-16 10:10:27
100Mathematical analysis / Mathematics / Spectral theory / Actuarial science / Coherent risk measure / Financial risk / Mathematical finance / RadonNikodym theorem / Distribution / Spectral theory of ordinary differential equations / Decomposition of spectrum

Elicitable distortion risk measures: a concise proof Ruodu Wang∗ and Johanna F. Ziegel† February 4, 2015 Abstract Elicitability has recently been discussed as a desirable property for risk

Add to Reading List

Source URL: sas.uwaterloo.ca

Language: English - Date: 2015-02-04 11:36:05
UPDATE